La vérification des règles de codage et la démonstration de l'absence d'erreurs d'exécution garantissent la robustesse des logiciels embarqués, qui doivent fonctionner avec un niveau de qualité et de sécurité maximal.
Polyspace Code Prover est un outil de vérification par méthodes formelles qui garantit la correction du code. Les ingénieurs responsables de la sécurité et de la certification du code peuvent l'utiliser pour déterminer avec fiabilité, en temps réel, les risques d'erreurs. Les résultats, présentés sous forme de tests et codés par couleur, simplifient les tâches de vérification, contribuant ainsi à un processus de développement logiciel plus efficace et de meilleure qualité. Polyspace Code Prover exploite également la plateforme MATLAB pour offrir aux utilisateurs un accès à ses puissantes fonctionnalités, telles que la distribution robuste des tâches entre les clusters d'équipe, l'automatisation par scripts, la visualisation des résultats et la génération de rapports pour la certification. Polyspace Code Prover intègre les fonctionnalités précédemment disponibles dans Polyspace Client pour C/C++ et Polyspace Server pour C/C++.
Polyspace Bug Finder identifie les erreurs d'exécution, les problèmes de flux de données et autres défauts dans les logiciels embarqués. Grâce à l'analyse statique, il analyse le contrôle, le flux de données et le comportement interprocédural du logiciel. Il détecte divers défauts, tels que les erreurs numériques et de mémoire, ainsi que d'autres erreurs de programmation. Contrairement aux revues manuelles traditionnelles, Polyspace Bug Finder permet aux ingénieurs d'identifier, de filtrer et de corriger rapidement les défauts de code afin d'accélérer le processus de développement. Cet outil vérifie également la conformité aux normes de codage telles que MISRA et JSF++, ainsi qu'aux règles personnalisées, et génère des indicateurs de qualité et de complexité du code. À l'instar de Polyspace Code Prover, Polyspace Bug Finder exploite la plateforme MATLAB pour la distribution des tâches aux clusters d'équipe, la création de scripts et la visualisation des résultats. Ces deux produits sont intégrés à Simulink pour l'utilisation avec du code généré automatiquement.
« En proposant une solution complète de vérification de code, la gamme de produits Polyspace offre aux ingénieurs une plus grande confiance dans la qualité et la sécurité des logiciels embarqués tout au long du processus de développement », explique Paul Barnard, directeur marketing de la conception automatisée chez MathWorks. « Polyspace Bug Finder et Polyspace Code Prover combinent l’analyse statique et les techniques de vérification de code à l’aide de méthodes formelles pour aider les ingénieurs à détecter les bogues dès les premières étapes de la conception et à démontrer que leur logiciel est sécurisé et prêt pour le déploiement. »
Polyspace Code Prover et Polyspace Bug Finder sont désormais disponibles.
